[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 46 45 135 135 143 44 136

N.S.

1 1.06 0.64 0.62 1.88 1.88 1.99 0.61 1.89

time (sec)

N/A 0.206 0.009 1.754 0.205 0.250 0.493 0.295 4.490

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 35 34 124 124 131 33 125

N.S.

1 1.08 0.66 0.64 2.34 2.34 2.47 0.62 2.36

time (sec)

N/A 0.189 0.010 1.754 0.192 0.244 0.467 0.296 4.496

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 24 23 113 113 119 22 114

N.S.

1 1.12 0.71 0.68 3.32 3.32 3.50 0.65 3.35

time (sec)

N/A 0.177 0.006 1.775 0.203 0.257 0.445 0.285 4.491

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 103 110 14 14

N.S.

1 1.00 1.00 0.94 0.88 6.44 6.88 0.88 0.88

time (sec)

N/A 0.133 0.002 1.753 0.224 0.247 0.424 0.287 0.126

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 167 120 123 214 398 223 136 210

N.S.

1 1.01 0.72 0.74 1.29 2.40 1.34 0.82 1.27

time (sec)

N/A 0.300 0.067 6.225 0.217 0.248 0.620 0.279 4.962

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 136 142 231 427 245 159 229

N.S.

1 1.00 0.74 0.77 1.26 2.32 1.33 0.86 1.24

time (sec)

N/A 0.341 0.088 1.789 0.206 0.254 0.717 0.282 0.518

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 151 155 246 442 260 174 243

N.S.

1 1.00 0.70 0.71 1.13 2.04 1.20 0.80 1.12

time (sec)

N/A 0.375 0.064 1.788 0.236 0.270 0.799 0.275 5.481

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 224 162 165 257 453 270 187 255

N.S.

1 0.99 0.72 0.73 1.14 2.00 1.19 0.83 1.13

time (sec)

N/A 0.406 0.078 1.801 0.222 0.277 0.776 0.278 5.533

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 298 166 151 248 718 314 162 241

N.S.

1 1.29 0.72 0.65 1.07 3.11 1.36 0.70 1.04

time (sec)

N/A 0.393 0.060 1.788 0.299 0.257 0.993 0.283 4.852

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 285 155 140 236 692 299 150 231

N.S.

1 1.31 0.71 0.64 1.08 3.17 1.37 0.69 1.06

time (sec)

N/A 0.384 0.053 1.780 0.307 0.270 0.988 0.272 0.397

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 274 144 128 222 664 274 131 218

N.S.

1 1.32 0.70 0.62 1.07 3.21 1.32 0.63 1.05

time (sec)

N/A 0.325 0.049 1.791 0.284 0.275 0.955 0.280 0.459

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 261 134 124 213 650 277 122 210

N.S.

1 1.32 0.68 0.63 1.08 3.30 1.41 0.62 1.07

time (sec)

N/A 0.314 0.051 1.811 0.287 0.264 0.756 0.279 4.852

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 259 138 124 219 654 289 128 207

N.S.

1 1.31 0.70 0.63 1.11 3.30 1.46 0.65 1.05

time (sec)

N/A 0.307 0.047 1.809 0.291 0.264 0.710 0.276 4.635

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 257 138 122 221 654 291 128 205

N.S.

1 1.29 0.69 0.61 1.11 3.29 1.46 0.64 1.03

time (sec)

N/A 0.306 0.043 1.808 0.291 0.251 0.729 0.283 4.647

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 255 138 122 221 654 291 128 205

N.S.

1 1.28 0.69 0.61 1.10 3.27 1.46 0.64 1.02

time (sec)

N/A 0.303 0.049 1.803 0.287 0.255 0.634 0.283 4.656

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 253 138 122 221 654 291 128 205

N.S.

1 1.26 0.69 0.61 1.10 3.25 1.45 0.64 1.02

time (sec)

N/A 0.293 0.047 1.795 0.278 0.255 0.588 0.272 4.652

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 251 138 122 221 654 291 128 204

N.S.

1 1.24 0.68 0.60 1.09 3.24 1.44 0.63 1.01

time (sec)

N/A 0.288 0.041 1.787 0.281 0.254 0.561 0.272 4.585

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 249 138 122 221 654 291 128 204

N.S.

1 1.23 0.68 0.60 1.09 3.22 1.43 0.63 1.00

time (sec)

N/A 0.289 0.043 1.766 0.282 0.260 0.556 0.275 4.614

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 247 138 122 221 654 291 128 204

N.S.

1 1.21 0.68 0.60 1.08 3.21 1.43 0.63 1.00

time (sec)

N/A 0.283 0.045 1.787 0.281 0.268 0.512 0.271 4.602

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 245 138 124 219 654 286 128 206

N.S.

1 1.20 0.67 0.60 1.07 3.19 1.40 0.62 1.00

time (sec)

N/A 0.275 0.041 1.807 0.303 0.258 0.525 0.277 0.178

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 245 131 150 212 650 272 122 209

N.S.

1 1.35 0.72 0.83 1.17 3.59 1.50 0.67 1.15

time (sec)

N/A 0.270 0.064 1.815 0.277 0.261 0.517 0.289 4.611

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 277 147 131 225 664 282 134 220

N.S.

1 1.33 0.70 0.63 1.08 3.18 1.35 0.64 1.05

time (sec)

N/A 0.314 0.063 1.815 0.288 0.262 0.677 0.287 5.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 294 157 141 240 700 304 148 234

N.S.

1 1.34 0.71 0.64 1.09 3.18 1.38 0.67 1.06

time (sec)

N/A 0.347 0.056 1.831 0.292 0.262 0.710 0.279 5.054

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 311 169 153 251 726 316 159 246

N.S.

1 1.33 0.73 0.66 1.08 3.12 1.36 0.68 1.06

time (sec)

N/A 0.356 0.059 1.831 0.299 0.264 0.735 0.276 5.729

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 24 25 23 22 26 23

N.S.

1 1.00 1.00 0.86 0.89 0.82 0.79 0.93 0.82

time (sec)

N/A 0.170 0.008 1.766 0.200 0.249 0.074 0.282 0.052

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 27 42 80 49 29 23

N.S.

1 1.00 1.00 0.87 1.35 2.58 1.58 0.94 0.74

time (sec)

N/A 0.144 0.008 1.777 0.282 0.258 0.073 0.276 4.531

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 15 15 12 16 15

N.S.

1 1.00 1.00 0.94 0.94 0.94 0.75 1.00 0.94

time (sec)

N/A 0.133 0.002 6.213 0.200 0.233 0.054 0.274 0.036

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 16 31 68 46 18 16

N.S.

1 1.00 1.00 0.67 1.29 2.83 1.92 0.75 0.67

time (sec)

N/A 0.137 0.004 1.743 0.276 0.239 0.063 0.299 0.185

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 27 23 22 25 20 15 26 21

N.S.

1 1.17 1.00 0.96 1.09 0.87 0.65 1.13 0.91

time (sec)

N/A 0.144 0.008 6.233 0.198 0.243 0.101 0.287 0.096

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 29 44 82 58 31 25

N.S.

1 1.00 1.00 0.88 1.33 2.48 1.76 0.94 0.76

time (sec)

N/A 0.145 0.010 1.779 0.280 0.245 0.089 0.280 4.614

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 37 35 32 35 33 31 43 31

N.S.

1 1.06 1.00 0.91 1.00 0.94 0.89 1.23 0.89

time (sec)

N/A 0.171 0.007 6.249 0.197 0.246 0.134 0.296 0.081

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 33 29 32 35 42 29 53 32

N.S.

1 0.94 0.83 0.91 1.00 1.20 0.83 1.51 0.91

time (sec)

N/A 0.171 0.012 1.753 0.206 0.241 0.097 0.303 0.050

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 47 37 52 127 71 39 34

N.S.

1 1.00 1.02 0.80 1.13 2.76 1.54 0.85 0.74

time (sec)

N/A 0.154 0.021 1.847 0.292 0.258 0.103 0.297 4.492

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 16 16 15 16 15

N.S.

1 1.00 1.00 0.94 0.94 0.94 0.88 0.94 0.88

time (sec)

N/A 0.136 0.002 1.756 0.186 0.248 0.081 0.285 0.023

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 47 37 52 126 71 39 34

N.S.

1 1.00 1.02 0.80 1.13 2.74 1.54 0.85 0.74

time (sec)

N/A 0.150 0.014 1.770 0.300 0.252 0.118 0.268 0.055

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 41 35 37 41 53 34 51 36

N.S.

1 1.02 0.88 0.92 1.02 1.32 0.85 1.28 0.90

time (sec)

N/A 0.176 0.014 6.238 0.192 0.236 0.155 0.261 0.058

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 61 56 45 65 140 83 50 45

N.S.

1 1.05 0.97 0.78 1.12 2.41 1.43 0.86 0.78

time (sec)

N/A 0.164 0.027 1.787 0.298 0.259 0.153 0.275 4.497

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 53 44 53 57 80 49 56 55

N.S.

1 1.02 0.85 1.02 1.10 1.54 0.94 1.08 1.06

time (sec)

N/A 0.187 0.024 6.241 0.199 0.241 0.187 0.279 4.479

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 25 24 38 38 36 26 37

N.S.

1 1.00 1.25 1.20 1.90 1.90 1.80 1.30 1.85

time (sec)

N/A 0.132 0.008 1.757 0.190 0.237 0.128 0.283 0.042

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 56 50 76 188 105 53 54

N.S.

1 1.07 0.84 0.75 1.13 2.81 1.57 0.79 0.81

time (sec)

N/A 0.163 0.021 1.769 0.291 0.258 0.149 0.279 4.541

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 16 26 26 16 26

N.S.

1 1.00 1.00 0.94 0.94 1.53 1.53 0.94 1.53

time (sec)

N/A 0.130 0.002 6.256 0.197 0.231 0.109 0.277 0.027

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 72 56 59 73 188 99 49 55

N.S.

1 1.12 0.88 0.92 1.14 2.94 1.55 0.77 0.86

time (sec)

N/A 0.166 0.027 1.778 0.289 0.252 0.161 0.274 4.492

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 58 45 48 62 92 56 63 57

N.S.

1 1.02 0.79 0.84 1.09 1.61 0.98 1.11 1.00

time (sec)

N/A 0.184 0.025 6.260 0.192 0.243 0.213 0.280 0.069

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 89 69 54 86 202 107 61 66

N.S.

1 1.14 0.88 0.69 1.10 2.59 1.37 0.78 0.85

time (sec)

N/A 0.181 0.031 1.787 0.282 0.250 0.213 0.285 4.485

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 72 60 65 79 121 78 84 76

N.S.

1 1.04 0.87 0.94 1.14 1.75 1.13 1.22 1.10

time (sec)

N/A 0.201 0.040 1.768 0.199 0.245 0.286 0.281 4.499

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 40 25 24 60 60 60 39 59

N.S.

1 1.11 0.69 0.67 1.67 1.67 1.67 1.08 1.64

time (sec)

N/A 0.176 0.009 1.758 0.213 0.242 0.211 0.275 4.527

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 124 81 70 124 324 160 77 96

N.S.

1 1.14 0.74 0.64 1.14 2.97 1.47 0.71 0.88

time (sec)

N/A 0.197 0.033 1.767 0.271 0.249 0.248 0.268 4.569

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 16 48 49 16 48

N.S.

1 1.00 1.00 0.94 0.94 2.82 2.88 0.94 2.82

time (sec)

N/A 0.134 0.002 1.770 0.202 0.238 0.197 0.277 0.033

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 124 79 92 117 320 146 71 99

N.S.

1 1.24 0.79 0.92 1.17 3.20 1.46 0.71 0.99

time (sec)

N/A 0.194 0.029 1.785 0.284 0.257 0.289 0.297 4.541

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 92 67 70 106 180 104 85 101

N.S.

1 1.01 0.74 0.77 1.16 1.98 1.14 0.93 1.11

time (sec)

N/A 0.214 0.023 1.773 0.206 0.242 0.337 0.295 4.703

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 145 92 76 130 334 155 83 110

N.S.

1 1.23 0.78 0.64 1.10 2.83 1.31 0.70 0.93

time (sec)

N/A 0.230 0.038 1.793 0.269 0.259 0.350 0.294 4.842

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 108 83 87 123 209 126 106 120

N.S.

1 1.02 0.78 0.82 1.16 1.97 1.19 1.00 1.13

time (sec)

N/A 0.239 0.047 1.784 0.190 0.241 0.411 0.267 5.022

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 19 15 14 17 13 12 18 14

N.S.

1 1.27 1.00 0.93 1.13 0.87 0.80 1.20 0.93

time (sec)

N/A 0.145 0.007 1.766 0.185 0.244 0.063 0.277 4.789

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 20 18 16 17 15 12 18 16

N.S.

1 1.11 1.00 0.89 0.94 0.83 0.67 1.00 0.89

time (sec)

N/A 0.143 0.005 1.756 0.188 0.240 0.066 0.268 0.059

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 27 26 23 24 28 22 32 22

N.S.

1 1.04 1.00 0.88 0.92 1.08 0.85 1.23 0.85

time (sec)

N/A 0.166 0.005 6.260 0.190 0.243 0.105 0.275 0.063

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 26 27 23 24 28 22 32 22

N.S.

1 0.96 1.00 0.85 0.89 1.04 0.81 1.19 0.81

time (sec)

N/A 0.168 0.004 1.781 0.189 0.236 0.107 0.299 0.061

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 28 20 0 82 83 23 23

N.S.

1 1.00 0.93 0.67 0.00 2.73 2.77 0.77 0.77

time (sec)

N/A 0.162 0.008 1.788 0.000 0.265 0.084 0.302 0.177

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 44 33 0 102 87 33 29

N.S.

1 1.00 1.19 0.89 0.00 2.76 2.35 0.89 0.78

time (sec)

N/A 0.172 0.015 6.304 0.000 0.251 0.120 0.290 0.302

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 25 25 28 40 22 36 24

N.S.

1 1.00 0.89 0.89 1.00 1.43 0.79 1.29 0.86

time (sec)

N/A 0.159 0.009 1.776 0.200 0.234 0.099 0.294 0.037

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 26 25 28 40 22 36 26

N.S.

1 1.00 0.87 0.83 0.93 1.33 0.73 1.20 0.87

time (sec)

N/A 0.161 0.010 1.897 0.191 0.250 0.107 0.288 0.039

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 36 34 0 106 60 37 38

N.S.

1 1.00 1.06 1.00 0.00 3.12 1.76 1.09 1.12

time (sec)

N/A 0.150 0.012 1.831 0.000 0.248 0.142 0.287 0.298

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 36 34 0 105 66 36 38

N.S.

1 1.00 1.06 1.00 0.00 3.09 1.94 1.06 1.12

time (sec)

N/A 0.142 0.008 1.782 0.000 0.255 0.132 0.271 4.939

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 50 39 0 182 104 58 46

N.S.

1 1.00 1.00 0.78 0.00 3.64 2.08 1.16 0.92

time (sec)

N/A 0.188 0.016 6.381 0.000 0.256 0.176 0.276 5.054

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 13 18 19 13 15

N.S.

1 1.00 1.00 0.67 0.62 0.86 0.90 0.62 0.71

time (sec)

N/A 0.142 0.017 0.092 0.201 0.234 0.391 0.275 4.684

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 14 13 18 19 13 15

N.S.

1 1.00 0.90 0.67 0.62 0.86 0.90 0.62 0.71

time (sec)

N/A 0.144 0.013 0.089 0.199 0.251 0.247 0.259 0.028

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 13 18 19 13 15

N.S.

1 1.00 1.00 0.67 0.62 0.86 0.90 0.62 0.71

time (sec)

N/A 0.151 0.013 0.086 0.263 0.249 0.157 0.270 0.028

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 13 16 19 13 15

N.S.

1 1.00 1.00 0.67 0.62 0.76 0.90 0.62 0.71

time (sec)

N/A 0.153 0.012 0.040 0.288 0.237 0.323 0.276 0.028

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 20 14 13 14 17 13 14

N.S.

1 1.00 1.05 0.74 0.68 0.74 0.89 0.68 0.74

time (sec)

N/A 0.156 0.012 0.040 0.280 0.241 0.082 0.270 0.032

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 13 14 17 13 15

N.S.

1 1.00 1.00 0.74 0.68 0.74 0.89 0.68 0.79

time (sec)

N/A 0.157 0.014 0.053 0.212 0.248 0.166 0.267 0.031

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 17 14 13 15 17 13 15

N.S.

1 1.00 0.89 0.74 0.68 0.79 0.89 0.68 0.79

time (sec)

N/A 0.156 0.014 0.048 0.206 0.244 0.185 0.270 0.029

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 17 14 13 13 19 13 15

N.S.

1 1.00 0.89 0.74 0.68 0.68 1.00 0.68 0.79

time (sec)

N/A 0.145 0.013 0.053 0.199 0.258 0.269 0.260 0.029

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 29 34 24 25

N.S.

1 1.00 0.83 0.69 0.67 0.81 0.94 0.67 0.69

time (sec)

N/A 0.154 0.017 1.807 0.198 0.275 0.598 0.280 0.050

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 29 34 24 26

N.S.

1 1.00 0.83 0.69 0.67 0.81 0.94 0.67 0.72

time (sec)

N/A 0.152 0.015 6.354 0.200 0.259 0.392 0.268 0.040

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 0 34 24 26

N.S.

1 1.00 0.83 0.69 0.67 0.00 0.94 0.67 0.72

time (sec)

N/A 0.160 0.015 1.758 0.191 0.000 0.246 0.276 0.039

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 27 34 24 26

N.S.

1 1.00 0.83 0.69 0.67 0.75 0.94 0.67 0.72

time (sec)

N/A 0.162 0.014 1.835 0.191 0.239 0.397 0.284 0.038

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 30 25 24 26 32 24 26

N.S.

1 1.00 0.88 0.74 0.71 0.76 0.94 0.71 0.76

time (sec)

N/A 0.158 0.014 1.774 0.196 0.244 0.147 0.280 0.038

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 30 25 24 26 32 24 26

N.S.

1 1.00 0.88 0.74 0.71 0.76 0.94 0.71 0.76

time (sec)

N/A 0.157 0.019 1.774 0.191 0.261 0.226 0.275 0.039

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 30 25 24 26 32 24 26

N.S.

1 1.00 0.88 0.74 0.71 0.76 0.94 0.71 0.76

time (sec)

N/A 0.155 0.018 1.846 0.187 0.241 0.249 0.297 0.039

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 30 25 25 26 32 25 26

N.S.

1 1.00 0.88 0.74 0.74 0.76 0.94 0.74 0.76

time (sec)

N/A 0.153 0.021 1.776 0.198 0.242 0.294 0.270 0.034

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 41 36 35 40 49 35 35

N.S.

1 1.00 0.80 0.71 0.69 0.78 0.96 0.69 0.69

time (sec)

N/A 0.162 0.018 1.815 0.192 0.250 0.904 0.283 0.047

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 41 36 35 40 49 35 35

N.S.

1 1.00 0.80 0.71 0.69 0.78 0.96 0.69 0.69

time (sec)

N/A 0.161 0.019 1.808 0.190 0.236 0.606 0.283 0.047

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 41 36 35 40 49 35 35

N.S.

1 1.00 0.80 0.71 0.69 0.78 0.96 0.69 0.69

time (sec)

N/A 0.161 0.019 1.770 0.189 0.243 0.414 0.269 0.047

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 41 36 35 38 49 35 35

N.S.

1 1.00 0.80 0.71 0.69 0.75 0.96 0.69 0.69

time (sec)

N/A 0.162 0.017 1.850 0.184 0.242 0.497 0.271 0.046

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 41 36 35 37 48 35 35

N.S.

1 1.00 0.84 0.73 0.71 0.76 0.98 0.71 0.71

time (sec)

N/A 0.162 0.016 1.764 0.194 0.247 0.256 0.284 0.046

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 41 36 35 37 46 35 35

N.S.

1 1.00 0.87 0.77 0.74 0.79 0.98 0.74 0.74

time (sec)

N/A 0.162 0.020 1.771 0.186 0.242 0.332 0.278 0.048

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 41 36 35 37 48 35 35

N.S.

1 1.00 0.84 0.73 0.71 0.76 0.98 0.71 0.71

time (sec)

N/A 0.165 0.021 1.773 0.193 0.239 0.363 0.276 0.048

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 41 36 36 37 46 36 37

N.S.

1 1.00 0.87 0.77 0.77 0.79 0.98 0.77 0.79

time (sec)

N/A 0.162 0.022 1.773 0.197 0.242 0.439 0.284 0.046

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 248 128 125 194 167 136 196 67

N.S.

1 1.15 0.60 0.58 0.90 0.78 0.63 0.91 0.31

time (sec)

N/A 0.424 0.178 1.793 0.281 0.281 24.590 0.277 4.931

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 231 119 116 186 158 124 178 54

N.S.

1 1.13 0.58 0.57 0.91 0.77 0.61 0.87 0.26

time (sec)

N/A 0.395 0.127 1.798 0.293 0.258 6.641 0.284 0.096

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 229 118 115 185 117 110 178 55

N.S.

1 1.13 0.58 0.57 0.92 0.58 0.54 0.88 0.27

time (sec)

N/A 0.390 0.122 1.791 0.289 0.273 2.027 0.289 0.092

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 214 91 106 172 132 104 182 38

N.S.

1 1.11 0.47 0.55 0.90 0.69 0.54 0.95 0.20

time (sec)

N/A 0.374 0.108 1.785 0.277 0.249 1.001 0.280 0.078

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 214 92 106 172 120 104 182 37

N.S.

1 1.11 0.48 0.55 0.90 0.62 0.54 0.95 0.19

time (sec)

N/A 0.371 0.107 1.859 0.281 0.263 1.704 0.269 0.090

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 229 117 115 186 140 114 190 54

N.S.

1 1.13 0.58 0.57 0.92 0.69 0.56 0.94 0.27

time (sec)

N/A 0.385 0.144 1.785 0.279 0.269 4.497 0.281 4.702

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 231 119 116 187 165 128 178 53

N.S.

1 1.13 0.58 0.57 0.92 0.81 0.63 0.87 0.26

time (sec)

N/A 0.390 0.145 1.790 0.275 0.268 18.597 0.265 0.093

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 248 127 124 198 191 139 200 66

N.S.

1 1.15 0.59 0.58 0.92 0.89 0.65 0.93 0.31

time (sec)

N/A 0.408 0.166 1.791 0.282 0.271 60.718 0.279 4.801

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 258 138 136 206 209 0 196 80

N.S.

1 1.12 0.60 0.59 0.90 0.91 0.00 0.85 0.35

time (sec)

N/A 0.423 0.265 1.830 0.288 0.262 0.000 0.284 4.767

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 241 128 124 195 200 393 199 64

N.S.

1 1.11 0.59 0.57 0.89 0.92 1.80 0.91 0.29

time (sec)

N/A 0.405 0.265 1.809 0.281 0.267 115.770 0.279 0.086

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 241 127 127 195 191 323 199 64

N.S.

1 1.11 0.58 0.58 0.89 0.88 1.48 0.91 0.29

time (sec)

N/A 0.405 0.257 1.787 0.284 0.268 58.137 0.282 0.095

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 241 128 127 194 204 400 199 64

N.S.

1 1.11 0.59 0.58 0.89 0.94 1.83 0.91 0.29

time (sec)

N/A 0.406 0.247 1.839 0.312 0.264 27.246 0.270 0.097

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 241 128 124 194 193 316 199 64

N.S.

1 1.11 0.59 0.57 0.89 0.89 1.45 0.91 0.29

time (sec)

N/A 0.399 0.239 1.781 0.298 0.266 42.665 0.268 4.873

[next] [prev] [prev-tail] [front] [up]